* Makefile.in (MAKEINFO): Now controlled by `configure'.
authorWerner Lemberg <wl@gnu.org>
Sun, 23 Jan 2011 10:22:21 +0000 (11:22 +0100)
committerWerner Lemberg <wl@gnu.org>
Sun, 23 Jan 2011 10:22:21 +0000 (11:22 +0100)
commit8e3e927cd432bc7e4790871f1941ec951e80abd9
tree57612d9659150272f3dbe2c0c335fef2f1785990
parent6438a128411b64f9368a91aac7acc8dfa337cd52
* Makefile.in (MAKEINFO): Now controlled by `configure'.
(MAKEINFO_OPTS): New variable.  Use it where appropriate.
(ENVADD): New variable to control texi2dvi and texi2pdf.
doc/lispref/ChangeLog
doc/lispref/Makefile.in